StandardDS
\\[0ex]$\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$$<\lambda$$a$.if ($a$ =$_{0}$ 2) then IdLnk else Id fi , $\lambda$$a$.if ($a$ =$_{0}$ 2) then IdLnkDeq else IdDeq fi $>$